Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science
2009-01-01 Kurz, A.; Tarlecki, A.; Lenisa, M.
Categories of Coalgebraic Games
2012-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Characterization of biomass emissions and potential reduction insmall-scale pellet boiler
2013-01-01 Dell'Antonia, D.; Pergher, G; Cividino, Srs; Gubiani, R; Cecchini, M; Marucci, A
CLEF Workshop JOKER: Automatic Wordplay and Humour Translation
2022-01-01 Ermakova, Liana; Miller, Tristan; Puchalski, Orlane; Regattin, Fabio; Mathurin, Elise; Araujo, Silvia; Bosser, Anne-Gwenn; Borg, Claudine; Bokiniec, Monika; Lecorre, Gaelle; Jeanjean, Benoit; Hannachi, Radia; Mallia, Gorg; Matas, Gordon; Saki, Mohamed
Coalgebraic Multigames
2014-01-01 Lenisa, Marina
A comparison of CLP(FD) and ASP solutions to NP-complete problems
2005-01-01 Dovier, Agostino; Formisano, A.; Pontelli, E.
Comparison of Creativity Enhancement and Idea Generation Methods in Engineering Design Training
2014-01-01 Motyl, Barbara; Filippi, Stefano
Compensation for Patient Movements in CBCT Imaging for Dental Applications
2023-01-01 Asraf Ali, Abdul Salam Rasmi; Sarti, Cristina; Landi, Claudio
The Complexity of Finding Supergraphs
2023-01-01 Cipriani, V.; Pauly, A.
Composite repetition-aware data structures
2015-01-01 Belazzougui, Djamal; Cunial, Fabio; Gagie, Travis; Prezza, Nicola; Raffinot, Mathieu
Construct, Merge, Solve and Adapt Applied to a Bus Driver Scheduling Problem with Complex Break Constraints
2023-01-01 Rosati, R. M.; Kletzander, L.; Blum, C.; Musliu, N.; Schaerf, A.
Construct, Merge, Solve and Adapt Applied to the Maximum Disjoint Dominating Sets Problem
2023-01-01 Rosati, R. M.; Bouamama, S.; Blum, C.
Content-based similarity of Twitter users
2015-01-01 Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan
Context Change Detection for an Ultra-Low Power Low-Resolution Ego-Vision Imager
2016-01-01 Paci, Francesco; Barald, i Lorenzo; Serra, Giuseppe; Cucchiara, Rita; Benini, Luca
Cooperation Among Groups of Agents in the Epistemic Logic L-DINF
2022-01-01 Costantini, S.; Formisano, A.; Pitoni, V.
A Core Informatics Curriculum for Italian Compulsory Education
2018-01-01 Forlizzi, Luca; Lodi, Michael; Lonati, Violetta; Mirolo, Claudio; Monga, Mattia; Montresor, Alberto; Morpurgo, Anna; Nardelli, Enrico
A CP/LNS Approach for Multi-day Homecare Scheduling Problems
2014-01-01 DI GASPERO, Luca; Tommaso, Urli
A cross-modal electronic travel aid device
2002-01-01 Fontana, Federico; Fusiello, Andrea; Gobbi, M.; Murino, V.; Rocchesso, D.; Sartor, L.; Panuccio, A.
Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms
2013-01-01 Parlamento, Franco; Previale, F.
DBtk: A Toolkit for Directed Bigraphs
2009-01-01 Bacci, G; Grohmann, D; Miculan, Marino
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science | 1-gen-2009 | Kurz, A.; Tarlecki, A.; Lenisa, M. | |
| Categories of Coalgebraic Games | 1-gen-2012 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
| Characterization of biomass emissions and potential reduction insmall-scale pellet boiler | 1-gen-2013 | Dell'Antonia, D.; Pergher, G; Cividino, Srs; Gubiani, R; Cecchini, M; Marucci, A | |
| CLEF Workshop JOKER: Automatic Wordplay and Humour Translation | 1-gen-2022 | Ermakova, Liana; Miller, Tristan; Puchalski, Orlane; Regattin, Fabio; Mathurin, Elise; Araujo, Silvia; Bosser, Anne-Gwenn; Borg, Claudine; Bokiniec, Monika; Lecorre, Gaelle; Jeanjean, Benoit; Hannachi, Radia; Mallia, Gorg; Matas, Gordon; Saki, Mohamed | |
| Coalgebraic Multigames | 1-gen-2014 | Lenisa, Marina | |
| A comparison of CLP(FD) and ASP solutions to NP-complete problems | 1-gen-2005 | Dovier, Agostino; Formisano, A.; Pontelli, E. | |
| Comparison of Creativity Enhancement and Idea Generation Methods in Engineering Design Training | 1-gen-2014 | Motyl, Barbara; Filippi, Stefano | |
| Compensation for Patient Movements in CBCT Imaging for Dental Applications | 1-gen-2023 | Asraf Ali, Abdul Salam Rasmi; Sarti, Cristina; Landi, Claudio | |
| The Complexity of Finding Supergraphs | 1-gen-2023 | Cipriani, V.; Pauly, A. | |
| Composite repetition-aware data structures | 1-gen-2015 | Belazzougui, Djamal; Cunial, Fabio; Gagie, Travis; Prezza, Nicola; Raffinot, Mathieu | |
| Construct, Merge, Solve and Adapt Applied to a Bus Driver Scheduling Problem with Complex Break Constraints | 1-gen-2023 | Rosati, R. M.; Kletzander, L.; Blum, C.; Musliu, N.; Schaerf, A. | |
| Construct, Merge, Solve and Adapt Applied to the Maximum Disjoint Dominating Sets Problem | 1-gen-2023 | Rosati, R. M.; Bouamama, S.; Blum, C. | |
| Content-based similarity of Twitter users | 1-gen-2015 | Mizzaro, Stefano; Pavan, Marco; Scagnetto, Ivan | |
| Context Change Detection for an Ultra-Low Power Low-Resolution Ego-Vision Imager | 1-gen-2016 | Paci, Francesco; Barald, i Lorenzo; Serra, Giuseppe; Cucchiara, Rita; Benini, Luca | |
| Cooperation Among Groups of Agents in the Epistemic Logic L-DINF | 1-gen-2022 | Costantini, S.; Formisano, A.; Pitoni, V. | |
| A Core Informatics Curriculum for Italian Compulsory Education | 1-gen-2018 | Forlizzi, Luca; Lodi, Michael; Lonati, Violetta; Mirolo, Claudio; Monga, Mattia; Montresor, Alberto; Morpurgo, Anna; Nardelli, Enrico | |
| A CP/LNS Approach for Multi-day Homecare Scheduling Problems | 1-gen-2014 | DI GASPERO, Luca; Tommaso, Urli | |
| A cross-modal electronic travel aid device | 1-gen-2002 | Fontana, Federico; Fusiello, Andrea; Gobbi, M.; Murino, V.; Rocchesso, D.; Sartor, L.; Panuccio, A. | |
| Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms | 1-gen-2013 | Parlamento, Franco; Previale, F. | |
| DBtk: A Toolkit for Directed Bigraphs | 1-gen-2009 | Bacci, G; Grohmann, D; Miculan, Marino |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile